home *** CD-ROM | disk | FTP | other *** search
/ Sky at Night 2007 June / SAN CD 6-2007 CD-ROM 25.iso / pc / Software / AstroGrav_Win / Java / jre1.6.0 / lib / rt.jar / sun / misc / Version.class (.txt) < prev    next >
Encoding:
Java Class File  |  2006-11-29  |  3.7 KB  |  221 lines
  1. package sun.misc;
  2.  
  3. import java.io.PrintStream;
  4.  
  5. public class Version {
  6.    private static final String java_version = "1.6.0";
  7.    private static final String java_runtime_name = "Java(TM) SE Runtime Environment";
  8.    private static final String java_runtime_version = "1.6.0-b105";
  9.    private static boolean versionsInitialized;
  10.    private static int jvm_major_version;
  11.    private static int jvm_minor_version;
  12.    private static int jvm_micro_version;
  13.    private static int jvm_update_version;
  14.    private static int jvm_build_number;
  15.    private static String jvm_special_version;
  16.    private static int jdk_major_version;
  17.    private static int jdk_minor_version;
  18.    private static int jdk_micro_version;
  19.    private static int jdk_update_version;
  20.    private static int jdk_build_number;
  21.    private static String jdk_special_version;
  22.    private static boolean jvmVersionInfoAvailable;
  23.  
  24.    public static void init() {
  25.       System.setProperty("java.version", "1.6.0");
  26.       System.setProperty("java.runtime.version", "1.6.0-b105");
  27.       System.setProperty("java.runtime.name", "Java(TM) SE Runtime Environment");
  28.    }
  29.  
  30.    public static void print() {
  31.       print(System.err);
  32.    }
  33.  
  34.    public static void print(PrintStream var0) {
  35.       var0.println("java version \"1.6.0\"");
  36.       var0.println("Java(TM) SE Runtime Environment (build 1.6.0-b105)");
  37.       String var1 = System.getProperty("java.vm.name");
  38.       String var2 = System.getProperty("java.vm.version");
  39.       String var3 = System.getProperty("java.vm.info");
  40.       var0.println(var1 + " (build " + var2 + ", " + var3 + ")");
  41.    }
  42.  
  43.    public static synchronized int jvmMajorVersion() {
  44.       if (!versionsInitialized) {
  45.          initVersions();
  46.       }
  47.  
  48.       return jvm_major_version;
  49.    }
  50.  
  51.    public static synchronized int jvmMinorVersion() {
  52.       if (!versionsInitialized) {
  53.          initVersions();
  54.       }
  55.  
  56.       return jvm_minor_version;
  57.    }
  58.  
  59.    public static synchronized int jvmMicroVersion() {
  60.       if (!versionsInitialized) {
  61.          initVersions();
  62.       }
  63.  
  64.       return jvm_micro_version;
  65.    }
  66.  
  67.    public static synchronized int jvmUpdateVersion() {
  68.       if (!versionsInitialized) {
  69.          initVersions();
  70.       }
  71.  
  72.       return jvm_update_version;
  73.    }
  74.  
  75.    public static synchronized String jvmSpecialVersion() {
  76.       if (!versionsInitialized) {
  77.          initVersions();
  78.       }
  79.  
  80.       if (jvm_special_version == null) {
  81.          jvm_special_version = getJvmSpecialVersion();
  82.       }
  83.  
  84.       return jvm_special_version;
  85.    }
  86.  
  87.    public static native String getJvmSpecialVersion();
  88.  
  89.    public static synchronized int jvmBuildNumber() {
  90.       if (!versionsInitialized) {
  91.          initVersions();
  92.       }
  93.  
  94.       return jvm_build_number;
  95.    }
  96.  
  97.    public static synchronized int jdkMajorVersion() {
  98.       if (!versionsInitialized) {
  99.          initVersions();
  100.       }
  101.  
  102.       return jdk_major_version;
  103.    }
  104.  
  105.    public static synchronized int jdkMinorVersion() {
  106.       if (!versionsInitialized) {
  107.          initVersions();
  108.       }
  109.  
  110.       return jdk_minor_version;
  111.    }
  112.  
  113.    public static synchronized int jdkMicroVersion() {
  114.       if (!versionsInitialized) {
  115.          initVersions();
  116.       }
  117.  
  118.       return jdk_micro_version;
  119.    }
  120.  
  121.    public static synchronized int jdkUpdateVersion() {
  122.       if (!versionsInitialized) {
  123.          initVersions();
  124.       }
  125.  
  126.       return jdk_update_version;
  127.    }
  128.  
  129.    public static synchronized String jdkSpecialVersion() {
  130.       if (!versionsInitialized) {
  131.          initVersions();
  132.       }
  133.  
  134.       if (jdk_special_version == null) {
  135.          jdk_special_version = getJdkSpecialVersion();
  136.       }
  137.  
  138.       return jdk_special_version;
  139.    }
  140.  
  141.    public static native String getJdkSpecialVersion();
  142.  
  143.    public static synchronized int jdkBuildNumber() {
  144.       if (!versionsInitialized) {
  145.          initVersions();
  146.       }
  147.  
  148.       return jdk_build_number;
  149.    }
  150.  
  151.    private static synchronized void initVersions() {
  152.       if (!versionsInitialized) {
  153.          jvmVersionInfoAvailable = getJvmVersionInfo();
  154.          if (!jvmVersionInfoAvailable) {
  155.             CharSequence var0 = System.getProperty("java.vm.version");
  156.             if (var0.length() >= 5 && Character.isDigit(var0.charAt(0)) && var0.charAt(1) == '.' && Character.isDigit(var0.charAt(2)) && var0.charAt(3) == '.' && Character.isDigit(var0.charAt(4))) {
  157.                jvm_major_version = Character.digit(var0.charAt(0), 10);
  158.                jvm_minor_version = Character.digit(var0.charAt(2), 10);
  159.                jvm_micro_version = Character.digit(var0.charAt(4), 10);
  160.                var0 = var0.subSequence(5, var0.length());
  161.                if (var0.charAt(0) == '_' && var0.length() >= 3 && Character.isDigit(var0.charAt(1)) && Character.isDigit(var0.charAt(2))) {
  162.                   int var1 = 3;
  163.  
  164.                   try {
  165.                      String var2 = var0.subSequence(1, 3).toString();
  166.                      jvm_update_version = Integer.valueOf(var2);
  167.                      if (var0.length() >= 4) {
  168.                         char var3 = var0.charAt(3);
  169.                         if (var3 >= 'a' && var3 <= 'z') {
  170.                            jvm_special_version = Character.toString(var3);
  171.                            ++var1;
  172.                         }
  173.                      }
  174.                   } catch (NumberFormatException var6) {
  175.                      return;
  176.                   }
  177.  
  178.                   var0 = var0.subSequence(var1, var0.length());
  179.                }
  180.  
  181.                if (var0.charAt(0) == '-') {
  182.                   var0 = var0.subSequence(1, var0.length());
  183.                   String[] var9 = var0.toString().split("-");
  184.  
  185.                   for(String var5 : var9) {
  186.                      if (var5.charAt(0) == 'b' && var5.length() == 3 && Character.isDigit(var5.charAt(1)) && Character.isDigit(var5.charAt(2))) {
  187.                         jvm_build_number = Integer.valueOf(var5.substring(1, 3));
  188.                         break;
  189.                      }
  190.                   }
  191.                }
  192.             }
  193.          }
  194.  
  195.          getJdkVersionInfo();
  196.          versionsInitialized = true;
  197.       }
  198.    }
  199.  
  200.    private static native boolean getJvmVersionInfo();
  201.  
  202.    private static native void getJdkVersionInfo();
  203.  
  204.    static {
  205.       init();
  206.       versionsInitialized = false;
  207.       jvm_major_version = 0;
  208.       jvm_minor_version = 0;
  209.       jvm_micro_version = 0;
  210.       jvm_update_version = 0;
  211.       jvm_build_number = 0;
  212.       jvm_special_version = null;
  213.       jdk_major_version = 0;
  214.       jdk_minor_version = 0;
  215.       jdk_micro_version = 0;
  216.       jdk_update_version = 0;
  217.       jdk_build_number = 0;
  218.       jdk_special_version = null;
  219.    }
  220. }
  221.